Algorithms in real algebraic geometry