Flexible exploitation of space coherence to detect collisions of convex polyhedra