Gibbs measures, equivalence of ensembles, Gibbs conditioning principle