Optimized Symbolic Interval Propagation for Neural Network Verification