Hydraulic fracturing and water use in Dallas, Texas