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