Bio-healing for micro-crack treatment in cementitious materials: Toward a quantitative assessment of bacterial efficiency