Scheduling workers: A multi-criteria model considering their satisfaction