A study of the reactions of graphite with carbon dioxide with reference to gas-cooled nuclear reactors†‡