Title: Revenue, highway program, and Federal payment formula