Efficient Checking of Coherence and Propagation of Imprecise Probability Assessments