Belief Propagation for Min-cost Network Flow: Convergence and Correctness