Algorithmic and Computer Methods for Three-Manifolds