Theoretical Analysis of Positional Encodings in Transformer Models