Norwegian gas exports to Europe sets record in 2017