Describir: Semantic Arithmetic Coding Using Synonymous Mappings