Scheduling models for air traffic control in terminal areas