Development and validation of a finite-rate model for carbon oxidation by atomic oxygen