SEC Opens Formal Probe into Fannie Mae