Simulation-Based Evolutionary Optimization of Air Traffic Management