Sequence generation for multi-task scheduling in cloud manufacturing with deep reinforcement learning