« Federal gas tax revenues that are paid into the trust fund by highway users should be used for programs that benefit highway users. »