地下采矿基本知识的基本概念