Adding hydrated lime for improving microstructure and mechanical properties of mortar for ultra-high performance concrete. (May 2023)