Algorithmic topology and classification of 3-manifolds