Gasification: Theory and application