Russia’s mining industry in an upswing