全国矿山已建1642个智能化采掘工作面