现代矿山新设备及新技术的应用