Optimal and Efficient Binary Questioning for Human-in-the-Loop Annotation