the mining boom in australia