Workers-constrained shutdown maintenance scheduling with skills flexibility: Models and solution algorithms. (October 2022)