The Secrecy Gain of Formally Unimodular Lattices on the Gaussian Wiretap Channel