What are the mean and standard deviation of {15, 9, 23, 12, 17}?