Google search chief Singhal to quit, to be replaced by AI head