The Sequent Calculus of Skew Monoidal Categories