Proof Theory of Skew Non-Commutative MILL