Application of infrared spectroscopy to the classification of kerogen types and the thermogravimetrically derived pyrolysis kinetics of oil shales