Probability of heads after consecutive tails