Solving task scheduling problems in cloud manufacturing via attention mechanism and deep reinforcement learning