Google veteran of 18 years leaving to start A.I. company with ex-Salesforce co-CEO Bret Taylor