Towards Principled Graph Transformers Luis Müller