An improved DSATUR-based Branch and Bound for the Vertex Coloring Problem