矿业技术中信息技术的应用