How Twitter bots are recycling Cold War techniques to sow political division