Describir: Automatically Generated Algorithms for the Vertex Coloring Problem