Coherence for Skew-Monoidal Categories