Convergent Message-Passing Algorithms for Inference over General Graphs with Convex Free Energies