If a 95% confidence interval for a population mean is calculated to be $(12.5, 17.5)$, what is the margin of error?