Job shop scheduling optimization in real-time production control