矿井提升设备的发展及现状