Mixup Regularization: A Probabilistic Perspective