Tradeoff evaluation of scheduling algorithms for terminal-area air traffic control