Filing taxes married to non-US citizens