Measurement and analysis of defects in high-performance concrete with three-dimensional micro-computer tomography.