I think it would be really interesting to study the costs/ benefits of digging a tunnel 10 meters underground compared to placing a sturdy building where you want it, and using bulldozers to cover it with 10 meters of earth and rock.