Estimation of parameters of exponential distribution when the observations are progressive type II censored