Statistical analysis of progressively first-failure-censored data via beta-binomial removals