Mineral resources of Costa Rica.