Social Agents? A Systematic Review of Social Identity Formalizations