A Convex Upper Bound on the Log-Partition Function for Binary Distributions