environmental pollution in coal mining and its mitigation measures