https://5dok.org/document/4yrmok7q-rotating-workforce-scheduling.html