Algorithmic Topology and Classification of 3-Manifolds (Algorithms and Computation in Mathematics)