Sentence Smith: Formally Controllable Text Transformation and its Application to Evaluation of Text Embedding Models