Systematic Methodologies for the Automatic Enumeration of the Topological Structures of Mechanisms