Imaging and analyzing rock porosity by autoradiography and Hg-porosimetry/X-ray computertomography—Applications