The impact of the automatic terminal information service on airspace capacity and air traffic controllers workload | Synapse