Quantitative analysis on porosity of reactive powder concrete based on automated analysis of back-scattered-electron images. (February 2019)