Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds