A Comparative Study of SMT and MILP for the Nurse Rostering Problem