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