采矿工程技术的发展及应用