Formal Chow groups, p-divisible groups, and syntomic cohomology