Water Distribution System Modeling and Optimization: A Case Study