An uncertainty interchange format with imprecise probabilities