The normal approximation to the binomial distribution