Boosting Robustness Certification of Neural Networks