Optimising workforce schedules with many objectives