Thurston's geometrization conjecture