Ising model, phase transition, Gibbs states