A Characterisation of Multiply Recursive Functions with Higman's Lemma