Efficient dispatching rules for scheduling in a job shop