The hyperbolization theorem for fibered 3-manifolds