Formula for binomial probability distribution