Ekonomika górnictwa