Why TotalEnergies Rode the Iran Oil Spike in Q1