Gas evolution during oil shale pyrolysis. 1. Nonisothermal rate measurements