A study calculates a 95% confidence interval for a mean $\mu$ as $[10, 20]$. What is the probability that $\mu$ is in this interval?