Effective Theory of Transformers at Initialization