矿井水灾害按突水机理划分类型有（）、（）、（）及（）。