Manufacturing and mining water use in the United States, 1954-83