Exact weighted vertex coloring via branch-and-price