Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation