How do I file tax jointly if I'm a resident alien and my wife is a non-resident alien (she has SSN) for the tax year? IRS website says to add a declaration, how do we do that?