煤矿井下智能供水自动控制系统的设计与应用