Bayesian inference for truncated exponential distributions