1. ¿Cuánto registraron las exportaciones mineras del Perú entre enero a noviembre de 2020?