Social Choice for Human Computation