operator< for Vertex added