Mathematical statistical mechanics