HetVis: A Visual Analysis Approach for Identifying Data Heterogeneity in Horizontal Federated Learning