全数字煤矿主井直流提升机的自动化控制技术