Basic Theories of Coal Conversion