What is a binomial probability distribution