Water Auction Design for Supply Reliability: Design, Implementation, and Evaluation