Solving disjunctive temporal problems with preferences using maximum satisfiability