Where do air traffic controllers work?