I want to display a polytope with labels of vertices. I guess I can do this by using the argument vertex_labels = True in the function show(). However, how can I input the labels of the vertices? More concretely, what should I include/change in the code below so that I can display, for example, A at (1,0), B at (0,1) and C at (1,1)?