Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem