How Twitter bots played a role in electing Donald Trump