A fundamental study of K₂CO₃ catalysis of hydrogasification of carbon and the role of oxygen in the catalysis