Arvind Jain, Glean: On using AI to surface knowledge