Nvidia Acquired AI Startup That Shrinks Machine-Learning Models