Minera  o de dados eleitorais via Twitter: an lise das campanhas pol ticas para a Prefeitura Municipal de S o Paulo nas elei  es de 2020