Image analysis of x-ray computed tomographic datasets, quantification of porosity, and applications to understanding fracturing of rock masses