Confidence interval for a population proportion