On the asymmetric representatives formulation for the vertex coloring problem