Artificial intelligence models sort through huge amounts of satellite data to help detect leaks.