Verification of Non-Linear Specifications for Neural Networks