Ekonomika górnicza