How Encoder Transformers Actually Understand Language