Air traffic control is becoming more automated