I am a self-employed US citizen residing in Portugal, which has a totalization agreement with the US. Are my SS payments in Portugal deductible from my US SE liability?