Enhancing Mixup-based Semi-Supervised Learning with Explicit Lipschitz Regularization