Benders Decomposition in CPLEX 12.7