5G网络建设赋能“数智矿山”