A box contains 3 fair coins and 1 double-headed coin. A coin is picked at random and flipped 3 times, resulting in 3 heads. What is the probability it is the double-headed coin?