Formula for binomial probability