Evaluating the lifetime performance index of products based on progressively Type‐II censored Pareto samples: A new Bayesian approach. (9th December 2021)