Water use for shale gas production in Texas, U.S.