A bayesian nonparametric estimator of survival probability assuming increasing failure rate