95 % confidence interval of a proportion