Qual a relação da mineração e as eleições para prefeito de 2024?