probability of 12 heads and 8 tails