arxiv StockFormer: A Swing Trading Strategy Based on STL Decomposition and Self-Attention Networks