Understanding Certified Training with Interval Bound Propagation