A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem