Models and algorithms for simple disjunctive temporal problems