Efficient Algorithms For Optimal Arrival Scheduling And Air Traffic Flow Management