Which distribution is used to construct a confidence interval for a population mean when the population standard deviation $\sigma$ is unknown and $n = 15$?