What is the average duration of songs that have mp3 format and resolution below 800?
select avg(t1.duration) from files as t1 join song as t2 on t1.f_id = t2.f_id where t1.formats = "mp3" and t2.resolution < 800