Lava mines