Tameness of hyperbolic 3-manifolds