Jeff Dean, a 27-year veteran of Google, has left the company