Certifying Global Robustness for Deep Neural Networks