Bounding the partition function of spin-systems - David Galvin (2012)