https://www.taxconnections.com/taxblog/social-security-tax-and-employer-withholding-resident-and-non-resident-aliens/