Computing roadmaps of semi-algebraic sets