อุตสาหกรรมเหมืองแร่