Porosity and permeability of Green River oil shale and their changes during retorting