Towards Principled Graph Transformers