Mechanism of the potassium catalysed gasification of carbon in CO2