what replaces the lava that comes out of a volcano? is the planet getting gradually hollow with eruptions or does the surface get gradually closer to the planet's core?