minería y piedras en costa rica