Scalable Certified Segmentation via Randomized Smoothing