MILP-aided Cryptanalysis of Some Block Ciphers