Convergence of min-sum message passing for quadratic optimization