چقدر بزرگ معدن به carajas است