Suppose a batch of steel rods produced at a steel plant have a mean length of 150 millimeters, and a standard deviation of 12. If 100 rods are sampled at random from the batch, what is the probability that the mean length of the sample rods would differ from the population mean by less than 0.5 millimeters?