ILP Models and Column Generation for the Minimum Sum Coloring Problem