Quantum spin systems on infinite lattices