Lava-flow miner