Volume of lava on Earth