População de Capitão Gervásio Oliveira dobra de população por causa da mina de níquel da Vale do Rio Doce