Texas Transportation Department to fund air traffic control services