Computable Lipschitz Bounds for Deep Neural Networks