Non-isothermal thermogravimetric analysis of pyrolysis kinetics of four oil shales using Sestak–Berggren method