What are the names of the three artists who have produced the most songs, and how many works did they produce?
select t1.artist_name, count(*) from artist as t1 join song as t2 on t1.artist_name = t2.artist_name group by t2.artist_name order by count(*) desc limit 3