Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks