DyFormer: A Scalable Dynamic Graph Transformer with Provable Benefits on Generalization Ability