Mean, variance, and standard deviation of binomial distributions