An Aggregate Dynamic Stochastic Model for an Air Traffic System