For a population consisting of 1000 employees, the variable of interest is number of days of accrued annual leave. suppose that the mean and variance are 12 and 144, respectively. what is the probability that a sample of size 100 will yield a mean greater than 9?