equipment to mine zink in the republic of costa rica