Estimation of stress–strength reliability for inverse Weibull distribution under progressive type-II censoring scheme