mining exports companies in costa rica