The length of a certain kind of Colorado brook trout is normally distributed with a mean of 12.5 inches and a standard deviation of 1.2 inches. What minimum size limit should the Department of Natural Resources set if it wishes to allow people to keep 80 percent of the trout they catch?