Given a sample mean of $100$, population standard deviation of $15$, and $n=25$, what is the 95% confidence interval for the mean $\mu$?