App clips in iOS 14: How users and developers benefit from mini-apps