Describir: La minería en Costa Rica