Deep learning-based automated image segmentation for concrete petrographic analysis. (September 2020)