boost distributed coloring