Mean of a binomial distribution