Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems