Correctness of Belief Propagation in Gaussian Graphical Models of Arbitrary Topology