Text this: Magma degassing and its impact on Earth’s atmosphere: from magma oceans to lava lakes