Large Scale Airline Crew Scheduling