Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks