Ukrainian Attacks on Russian Refineries Increased Profits for Western Oil Companies and Led to a Record Decline in Russian Gas Exports to Europe