Functional integral methods for quantum spin systems