Water-use data by category, county, and water management district in Florida, 1950-90