HASFL: Heterogeneity-aware Split Federated Learning over Edge Computing Systems