Despite tensions, US-China AI research collaborations are alive and well