The mean weight of loads of rock is 50.0 tons with a standard deviation of 12.0 tons. If 16 loads are chosen at random for a weight check, find the probability that the mean weight of those loads is less than 47.30 tons. Assume that the variable is normally distributed.