One of the most important executives at Google is stepping down