Efficient Disambiguation of Task Instructions in Crowdsourcing