A Survey of Mix-based Data Augmentation: Taxonomy, Methods, Applications, and Explainability