Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints