How are taxes paid on a $12,000 backdoor Roth Conversion?