The diameters of cherry tomatoes produced by a large farm have an approximately Normal distribution, with a mean diameter of 22 mm and a standard deviation of 2.5 mm. What proportion of such tomatoes have a diameter between 20 and 26 mm?