A computational algorithm for the evaluation on the lifetime performance index of products with Rayleigh distribution under progressive type I interval censoring · Study