Stability of Transformers under Layer Normalization