How to compute binomial probability