Characterizing the transition to Kotlin of Android apps: a study on F-Droid, Play Store, and GitHub