Mechanical modeling of thermal barrier coatings at high temperatures