Semi-Supervised Medical Image Segmentation via Knowledge Mining from Large Models