A Formal Approach to Identifying the Impact of Noise on Neural Networks