Reactivity of petroleum coke to carbon dioxide between 1030 and 1180 K