history of ore mining in australia