From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics