Not all songs that mention "coal" are about mining it - ie "coal black hair" and coal in the fire, but certainly check out those songs in the Digital Tradition here. You can also search for "@mining" to see the songs that have that keyword (not all are COAL mining, but most are) to get another (overlapping) long list of songs.