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