Polar Varieties and Efficient Real Equation Solving