¿Es más productivo el minero peruano? Cifras ponen en duda dichos del CEO de Codelco