Belief Functions on Distributive Lattices