Verification of Neural Networks' Global Robustness