Credal Deep Ensembles for Uncertainty Quantification