Ice nucleation and dehydration in the Tropical Tropopause Layer