Kinetic study on the pyrolysis behavior of Huadian oil shale via non-isothermal thermogravimetric data