Real-time scheduling for dynamic workshops with random new job insertions by using deep reinforcement learning | Publicación