A baseball analyst claims that the mean height of major-league baseball players differs from the national average for males (69.3 inches). A random sample of 12 players gave a mean height of 72.4 inches. Assume that heights of major-league baseball players are normally distributed with a population standard deviation of 2.9 inches. Test the analyst's claim that the mean height of major-league baseball players differs from 69.3 inches at the 0.05 level of significance. Include all components of the hypothesis test.