Coherent Predictive Inference under Exchangeability with Imprecise Probabilities