Functional group chemistry and its functions in coal carbonization: a scientific intelligence from infrared spectroscopy