Statistics for Water use in the western U.S.: irrigated agriculture, water leases, and public preferences