Carbon and ecological footprints as tools for evaluating the environmental impact of coal mine ventilation air