SoK: Certified Robustness for Deep Neural Networks