Text this: Crew scheduling problems in the airline industry /