Android TV Devices for Pay-TV Operators