Loading: Why did the world use leaded gas—and why did it take so long to phase out?