How satellites, algorithms and AI can help map and trace methane sources