Norway, Russia exported record gas volumes to Europe in 2017