Solving Disjunctive Temporal Problems with Preferences using Boolean Optimization solvers