20150917 city.mumbai: Some airlines to shift domestic operations to different terminals