On Detecting Collisions Between Polyhedra