When would you conclude that the average number of miles driven per year is less than 12,000?