Normalisation in Deep Inference