What are the id of songs whose format is mp3.
select f_id from files where formats = "mp3"