Expressivity Of Certified Neural Networks