iOS 17 should make it easy to AirPlay to hotel TVs