Gas evolution during pyrolysis of various Colorado oil shales