Mathematical Foundations of Quantum Statistical Mechanics