An Integer Optimization Approach to Large-Scale Air Traffic Flow Management