年产千万吨大采高智能采煤机关键技术研究与应用