Multi-scale kinetic modeling and experimental investigation of syngas production from coal gasification in updraft gasifiers