air traffic control phd thesis