Federated Medical Image Segmentation with Pseudo-Labeling under Model Heterogeneity