Describir: Modeling and optimization of air traffic