Machine-aided translation