Web-Based Risk Early-Warning in Coal Mine Using Support Vector Machine and Genetic Algorithm