Two coins are flipped. Given that at least one is a head, what is the probability that both are heads?