This Tax Could Fund Our Highways—If It Were Ever Raised