Computational aspects of crystallization theory: complexity, catalogues and classifications of 3-manifolds