Nvidia is buying an Israeli AI software startup that makes AI chips more efficient