An improved algorithm for exact graph coloring