Optimal Large-Scale Air Traffic Flow Management