producción mundial de mineral de hierro en 2017