Solving vertex coloring problems as maximum weight stable set problems