Conformal Semantic Image Segmentation: Post-hoc Quantification of Predictive Uncertainty