Are voting-machine modems truly divorced from the Internet?