Efficient Neural Network Robustness Certification with General Activation Functions