3.4.7 Transformer Encoder