Study of the reaction mechanism of oxygen to heterogeneous reduction of NO by char