Lipschitz regularity of deep neural networks: analysis and efficient estimation