Formal Security Analysis of Neural Networks using Symbolic Intervals