Text this: Bayesian and non-bayesian analysis for stress-strength model based on progressively first failure censoring with applications.