How much does an airt traffic controller make per year?