A comparison of mixed-integer linear programming models for workforce scheduling with position-dependent processing times. Issue 6 (3rd June 2018)