下列属于矿井下防治水措施的有( )。