Individuals, groups, fitness and utility: multi-level selection meets social choice theory