what is air pollution from coal mining and production