Non-random music shuffle player for Android