Learning to Search for Job Shop Scheduling via Deep Reinforcement Learning