Algorithms in Real Algebraic Geometry