Logic-based Benders decomposition for the preemptive flexible job-shop scheduling problem. (April 2023)