Thurston geometrization conjecture