Use your computational tool to find the probability that a random value from a normally distributed data set with mean `25` and standard deviation `4` lies between `20` and `30`.