A branch-and-price algorithm for the robust graph coloring problem