Polyhedral Collision Detection via Vertex Enumeration