Bayesian estimation of undiscovered pool sizes using the discovery record