Real Algebraic Geometry In Convex Optimization