What is the number of vertices in johnson solid skeleton 80