Definition of binomial distribution