operating a mining costa rica