When a US company pays a non-resident alien employee for services performed entirely outside the US, what is generally true about US federal income tax withholding?