IRS Publication 570 lays out residency requirements clearly