Benders decomposition