Intensified iterative deepening A* with application to job shop scheduling