Polyhedral-based Modeling and Algorithms for Tolerancing Analysis. (December 2021)