Why American Airlines’ CEO probably won’t cry over the $20 million a judge denied him