Geometrization of 3-dimensional orbifolds