A manufacturing quality inspector measures the diameter of 25 bolts and finds a sample mean of $10.0$ mm. If the population standard deviation $\sigma$ is $0.5$ mm, which expression correctly calculates the standard error of the mean (SEM)?