Сколько газа экспортировала Россия в 2018 году?