Stav dette: Modeling and optimization of air traffic