Neeva, co-founded by a former Google exec, to shut down its consumer search product and focus on A.I.