Cuántas toneladas de mineral de hierro por año se considera una gran mina