Inferences for two Lindley populations based on joint progressive type-II censored data | Synapse