An Empirical Study on Using Multi-Labels for Issues in GitHub