SeDuMi: a linear/quadratic/semidefinite solver for Matlab and Octave