Variational path-integral theory of thermal properties of solids.