Twitter Users Sent 4.2 Million Anti-Semitic Tweets Last Year, Anti-Defamation League Says