Instant Apps: Definition, Function, and Benefits for Android Users and Developers