Statistical inference for multi stress-strength reliability based on progressive first failure with lifetime inverse Lomax distribution and analysis of transformer insulation data.