Spotting Political Social Bots in Twitter: A Use Case of the 2019 Spanish General Election | IEEE Journals & Magazine | IEEE Xplore