矿井主提升卸载自动化关键问题的研究与应用