Text this: Efficient compression of encoder-decoder models for semantic segmentation using the separation index