The impact of 9/11: How air traffic control changed