Algorithmic And Quantitative Real Algebraic Geometry by