Leveraging interdependence: An LNG price cap would have cut Russia’s LNG export revenues by 60% in 2023