Reliability analysis of Birnbaum–Saunders model based on progressive type-II censoring