which are generally used to fund services such as air traffic co