Distributed scheduling for air traffic throughput maximization during the terminal phase of flight