S5Mars: Self-Supervised and Semi-Supervised Learning for Mars Segmentation