Radon mitigation during the installation of the CUORE 0νββ decay detector