Two fair coins are flipped. What is the probability that the second coin is heads, given that at least one coin is heads?