Effectivity Functions in Social Choice