Dynamic Graph Transformer with Correlated Spatial-Temporal Positional Encoding