Average age of U.S. fleet hits record 11.5 years, IHS says