浅析视频技术与AI智能识别技术在智慧矿山场景中的应用