Sustainable Development of Resources and the Environment: Mining-Induced Eco-Geological Environmental Damage and Mitigation Measures—A Case Study in the Henan Coal Mining Area, China