The Washington Post gets more than a million comments every month, so it’s using AI to tackle them