Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction