The Study of the Translation Analysis of English-Arabic Military Texts: Abbreviation Forms as a Model