Modeling and Optimization of Air Traffic