Stochastic Programming in Water Resources System Planning: A Case Study and a Comparison of Solution Techniques