Evolution of helium isotopes in the Earth's mantle