Россия по итогам 2023 года сохранила мировое лидерство по объему экспорта газа