Optimization and analytics for air traffic management