Text this: Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance