An Agent Based Model of Air Traffic Management