Weighted exponential distribution