Changes in a coke structure due to reaction with carbon dioxide