Linear programming analysis of loopy belief propagation for weighted matching