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