矿井自动主排水系统设备的选型设计