For a sample size of 10 from a population whose standard deviation is not known, which type of probability distribution is used to help calculate a confidence interval for the mean?