Spike2Former: Efficient Spiking Transformer for High-performance Image Segmentation