A Formal Theory of Social Power