Title: Number of test samples needed to obtain a desired Bayesian confidence interval for a proportion