Text this: Automatic search algorithm for differential characteristics in ARX ciphers