Add a version of CPLEX with SOCP transformations