Telefona gönder: Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance