Nonparametric bayes estimation of the survival function from a record of failures and follow-ups