تاریخچه صنعت معدن