A Survey of Graph Transformers: Architectures, Theories and Applications