Shell’s exit from Gazprom intensifies pressure on Total and Exxon