Algorithmic problems in 3-manifold topology and geometry