Evaluating Agents using Social Choice Theory