Evolution of overmature marine shale porosity and implication to the free gas volume