Text this: Automatic method for searching integral distinguishers of ARX block ciphers