Achieving Verified Robustness to Symbol Substitutions via Interval Bound Propagation