Construction of exact aspect graphs of computer-aided-design objects