Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems