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