Optimal aircraft scheduling and flight trajectory in terminal control areas