An Industrial Application of Deep Reinforcement Learning for Chemical Production Scheduling