A Testing Algorithm for the Lifetime Performance Index under Burr Type XII Distribution Theory Based on Progressive Type-I Interval Censored Data