A comprehensive kinetics model for CO oxidation during char combustion