julio isanti was a resident alien on december 31, of the tax year, and married to mary, a nonresident alien. can they choose to treat mary as a resident alien and file a joint income tax return?