Air traffic optimization models for aircraft delay and travel time minimization in terminal control areas