A baseball analyst claims that the mean height of major-league baseball players is greater than the national average for males (69.3 inches). A random sample of 12 players gave a mean height of 71.8 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 is greater than 69.3 inches at the 0.01 level of significance. Include all components of the hypothesis test.