You measure the weights of a random sample of twenty-five male runners. The sample mean is 60 kilograms (kg). Suppose that the mean weights of male runners follow a normal distribution with unknown mean mu and standard deviation of 5 kg (sigma). What is the 95% confidence interval for mu?