A big data fix for leaky pipes