Estimation and prediction of Marshall–Olkin extended exponential distribution under progressively type-II censored data