Experiments and modeling of coal gasification kinetics