Text this: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics