The mining boom is back, as company profits double