US-China AI competition is accelerating global AI progress