A heuristic procedure for personnel task rescheduling with time-resource-quality trade-offs. (August 2022)