Roman concrete is self-healing