Total sells North Sea gas terminal and pipelines for £585m