Impact of finite-rate kinetics on carbon conversion in a single-stage entrained flow gasifer with coal-CO2 slurry feed