Solving Scheduling Problems from High-Level Models