Human Computation Tasks with Global Constraints: A Case Study