数智赋能加快智慧矿山建设