The 3-manifold recognition problem