User Cuts in CPLEX