Why did the IRS disallow our AMT credit on our 2017 return when TurboTax allowed it?