Variance of the binomial distribution