Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi