Scheduling an Aircraft Repair Shop