Queueing models for air traffic