Automated Large-scale Class Scheduling in MiniZinc