Estimation of the two-parameter bathtub-shaped lifetime distribution with progressive censoring | Synapse