DUCore: Dual Uncertainty-Guided Consistency and Regional Contrastive Learning for Semi-supervised Medical Image Segmentation | Synapse