Algorithms for Verifying Deep Neural Networks