Enhancing Column Generation by a Machine-Learning-Based Pricing Heuristic for Graph Coloring