Probability of 4 or more heads in 12 flips