Historyk górnictwa i hutnictwa