With normal approximation method and technology, is it necessary to use the one sample z test for proportion for large sample sizes instead of the binomial formula?