Modeling Disjunctive Constraints via Junction Trees