Why is the income entered for ISO exercise and hold equal to twice the AMT adjustment?