Machine-Learning/Artificial-Intelligence—facilitated satellite imagery analysis for trustworthy arms control verification | Synapse