the mining boom in australia is over