Stochastic Queueing Models For Air Transportation Systems With Scheduled Arrivals