what podcast feed's average run time is 15?
(AND broadcast.podcast_feed (JOIN broadcast.podcast_feed.average_media_length 15^^http://www.w3.org/2001/XMLSchema#integer))