Exact computational geometry and tolerancing metrology