对矿井提升机自动化控制系统的探讨