Declassified documents touted by Trump say election systems ‘would be difficult to manipulate’