“老”矿迎来“新”场景 传统采煤向现代智能开采“加速跑”