Accurate and Fast Proximity Queries Between Polyhedra Using Convex Surface Decomposition | Synapse