On the path integral representation for quantum spin models and its application to the quantum cavity method and to Monte Carlo simulations