Thurston's Hyperbolization of Haken Manifolds