Settling, compaction, or caving in of land caused by subsurface mining, ground-water withdrawal, or pumping of oil and gas.