Mean of the binomial distribution