Knots and 3-manifolds