全国煤矿有494个智能采煤面同比增长80