Semidefinite Programming Techniques for Reduced Order Systems with Guaranteed Stability Margins