Parameter and reliability estimation for an exponentiated half-logistic distribution under progressive type II censoring