水文地质类型复杂、极复杂的煤矿应当设立 专门的防治水机构,配备防治水副总工程 师,防治水专业技术人员不少于( )人。