Geometric reasoning in the analysis of assemblies and mechanisms