Convergence properties of generalized benders decomposition