Characterising strong normalisation for explicit substitutions