The fuel tax and the interstate highway system