Large-Scale Crew Scheduling