原文:洞石矿山的分布与形成主要过程