Embedding Democratic Values into Social Media AIs via Societal Objective Functions