TECFormer: a novel TEC prediction model integrating auto-correlation and self-attention mechanisms | Synapse