Termination of Simply Typed Term Rewriting by Translation and Labelling