Optimal binary decision trees for diagnostic identification problems