mining-historical research