At the intersection, the red light times are normally distributed with a mean timer for three minutes and a standard deviation of 0.25 minutes. Using the empirical rule, approximately what percent of my lights last between 2.5 and 3.5 minutes