Analysis of Randomized Algorithms in Real Algebraic Geometry