Generation of an SOCP in SeDuMi format