Integrated airline scheduling : models and algorithms