Secrecy Gain of Formally Unimodular Lattices From Codes Over the Integers Modulo 4