Durable concrete for bridges, Concrete for deep repairs, Highway bridge repair materials, High-performance micro-concrete