Benders algorithm