近年中国采矿科技取得的一些典型进展