Fox: Mini robots detect and fix water pipe leaks without digging