Airline Crew Scheduling: A New Formulation and Decomposition Algorithm · Study