Miniball socp MOSEK MPS short