Models and Heuristic Algorithms for a Weighted Vertex Coloring Problem