Text this: Human–machine interaction in simultaneous interpreting workflow