Text this: Advanced computational geometry for proximity queries of convex polyhedras