Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation