EC LipsE: Efficient Compositional Lipschitz Constant Estimation for Deep Neural Networks