Task scheduling based on deep reinforcement learning in a cloud manufacturing environment. (3rd January 2020)