The state's new LeakTracer program uses data from "L-band synthetic aperture radar" satellites and AI to identify anomalies in soil moisture that could signal water escaping underground.