Improved Cryptanalysis of an ISO Standard Lightweight Block Cipher with Refined MILP Modelling