what podcast feed has an average playing time of 80?
(AND broadcast.podcast_feed (JOIN broadcast.podcast_feed.average_media_length 80^^http://www.w3.org/2001/XMLSchema#integer))