Mining for Water: Using Billing Data to Characterize Residential Irrigation Demand