Bidding farewell to US citizenship: Understanding the exit tax