DUDES: Deep Uncertainty Distillation using Ensembles for Semantic Segmentation