custo externo da mineração de carvão