Google keeps growing—but top exec Nikesh Arora is leaving