If after one year, the annual mileage of privately owned cars is normally distributed with mean 14,000 miles and standard deviation 3,500, what is the probability that a car has mileage greater than 20,000 miles?