Division cryptanalysis of block ciphers with a binary diffusion layer