Politico's top editor leaving for NBC