Collision detection between complex polyhedra