矿井水灾的水源包括（）。