采矿工程的定义是什么