The magma ocean was a huge helium reservoir in the early Earth