How much water is used for energy needs in the U.S.?