On the Strong Normalisation of Natural Deduction with Permutation-Conversions