Zaslat SMS: Modeling and optimization of air traffic