Older users produce roughly eight-in-ten tweets from U.S. adults on Twitter mentioning politics