how much did the U.S. pay for the entire interstate highway system, adjusted...