implement cplex callback to add new cuts when a decimal best objective
value is found