Airline Crew Rostering: Problem Types, Modeling, and Optimization