AI2 Safety and Robustness Certification of Neural Networks