Bayesian nonparametric inference for discovery probabilities: credible intervals and large sample asymptotics