Real homotopy theory of semi-algebraic sets