What does the amount on line 11 of 1040 come from? It appears to come from a computation of some sort of minimum tax.