Describir: Solving large nonconvex water resources management models using generalized benders decomposition