Airline crew pairing with fatigue: Modeling and analysis