Population proportion confidence interval