Algorithmic Topology and Classification of 3-Manifolds (Algo