Transformer-enabled deep reinforcement learning for coverage path planning