Type classification and main characteristics of mine water disasters