Estimation of the true relaxation time T1 of hyperpolarized 129Xe gas in mouse lung: Calculation on a ventilation model with the aid of normal gas at thermal equilibrium