Cerro Verde, una de las empresas que lideró la producción de cobre en 2023