Thermal Resilient Bounded-Skew Clock-Tree Optimization Methodology