Eastern oil shale retorting: gas evolution during pyrolysis of northeastern Kentucky shales