SatGuard uses AI, big data and machine learning technologies to analyze satellites' operations and fix anomalies; tech stems from IAI Innovation Center accelerator program