高质量发展看中国 | 从“铁锹”到“鼠标” 山西煤矿有“智慧”