Fast convex minimization to detect collisions between polyhedra