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