Propagation of Belief Functions: A Distributed Approach