Koopman-Based Sliding Mode Control for Data-Driven Stabilization of Nonlinear Systems