Efficiently Computing Local Lipschitz Constantsof Neural Networksvia Bound Propagation