Hybrid flow shop scheduling as a multi-mode multi-project scheduling problem with batching requirements: A real-world application [An article from: International Journal of Production Economics]