Mahindra’s logistics platform SmartShift to merge with truck rental startup Porter