About 20% of our water supply is lost to leaks and scientists say miniature 'pipe robots' could help.