Define binomial probability distribution