Gas taxes you pay at the pump go into a huge pool of federal transportation funds. How should the money be divided up? Plus high-speed rail, pro and con.