companhia vale do rio doce sells gold mine for $20.9m