Mining Energy-Greedy API Usage Patterns in Android Apps: an Empirical Study