Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models