Relating Sequent Calculi for Bi-Intuitionistic Propositional Logic