Quantum lattice models, phase transitions, Bose-Einstein condensation