Towards Efficient and Accurate CT Segmentation via Edge-Preserving Probabilistic Downsampling