Lava flow mining