Tighter Bounds on the Expressivity of Transformer Encoders