Tolerance interval for exponential distribution