On the Undecidability of the Freeness of Integer Matrix Semigroups