Games, Algorithms, and Social Choice