The lifetime of a certain brand of tires is approximately normally distributed, with a mean of 45,000 miles and a standard deviation of 4,000 miles. The tires carry a warranty for 35,000 miles. What proportion of the tires will fail before warranty expires?