Generalizable Single-Source Cross-modality Medical Image Segmentation via Invariant Causal Mechanisms