Semi-Supervised Medical Image Segmentation via Cross Teaching between CNN and Transformer