Polyhedral-based Modeling and Algorithms for Tolerancing Analysis