Precise propagation of Upper and Lower Probability Bounds in System P