Classical and Bayesian inference of inverted modified Lindley distribution based on progressive type-II censoring for modeling engineering data | Synapse