Finite element analysis of anti-spallation thermal barrier coatings