Existence of phase transitions for quantum lattice systems