probability of 4 heads in 12 coin flips