矿井提升设备验算