An Empirical Study of Programming Languages in Open-Source Software Projects based on Mining Software Repositories