Integrated Aircraft Fleeting, Routing, And Crew Pairing Models And Algorithms For The Airline Industry