Text this: An Executable Formal Framework for Regular String Transformation in Rewriting Logic