Partially Ordered Rings and Semi-Algebraic Geometry