Belief propagation for min-cost network flow: convergence & correctness